#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[]) {
	int t;
	scanf("%d",&t);
	if(t>=25 and t<=30) printf("ok");
	else printf("no");
	return 0;
}
